Implication Details

Assumptions: cofiltered-limit-stable epimorphisms, self-dual

Conclusions: filtered-colimit-stable monomorphisms

Proof: This holds by self-duality.